1. Algorithmic languages and calculi
Author:
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Calculus - Congresses,Computer algorithms - Congresses
Classification :
QA76
.
73
.
A24A4
1997
2. Handbook of satisfiability /
Author: edited by Armin Biere ... [et al.]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Boolean, Congresses,Computer algorithms, Congresses,Decision making, Congresses,Propositional calculus, Congresses
3. Satisfiability problem
Author: / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Propositional calculus- Congresses,Decision making- Congresses,Computer algorithms- Congresses,Computer science- Congresses
Classification :
QA9
.
3
.
S38
1997
4. Satisfiability problem :
Author: Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses,Computer science, Congresses,Decision making, Congresses,Propositional calculus, Congresses
Classification :
QA9
.
3
.
S38
1997
5. Theory and applications of satisfiability testing -- SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
Author: Armin Biere, Carla P. Gomes )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
Classification :
QA
76
.
L28
Vol
.
4121
6. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
Author: Fahiem Bacchus, Toby Walsh )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
Classification :
QA
76
.
L28
Vol
.
3569
7. Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
Author: Holger H. Hoos, David G. Mitchell )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Propositional calculus,Congresses ، Computer algorithms,Congresses ، Decision making
Classification :
QA
76
.
L28
Vol
.
3542
8. Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
Author: Enrico Giunchiglia, Armando Tacchella )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
Classification :
QA
76
.
L28
Vol
.
2919
